|
Alonso de Armiño, Ana Carolina. |
1. |
Composición de servicios web semánticos / Ana Carolina Alonso de Armiño.
|
2010 |
R 040 B148 2010-1062a
|
|
Álvarez, Nicolás. |
2. |
Aleatoriedad de estado finito / Nicolás Alvarez.
|
2017 |
R 040 B148 2017-1552alv
|
|
Asteasuain, Fernando. |
3. |
Un enfoque declarativo para modelar el comportamiento en sistemas reactivos / Fernando Asteasuain.
|
2013 |
R 040 B148 2013-1260a
|
|
Braun, Germán Alejandro. |
4. |
Metodologías y herramientas visuales para ingeniería ontológica / Germán Alejandro Braun.
|
2018 |
R 040 B148 2019-1667
|
|
Buccella, Agustina. |
5. |
Integración de sistemas de información geográfica / Agustina Buccella.
|
2009 |
R 040 B148 2009-942
|
|
Estevez, Elsa. |
6. |
Uso de bisimulación para diseño basado en componentes aplicado en RAISE / Elsa Estévez.
|
2003 |
R 040 B148 2003-610
|
|
Estevez, Elsa. |
7. |
Servicios de mensajería programable para gobierno electrónico / Elsa Estevez.
|
2009 |
R 040 B148 2009-961
|
|
Fillottrani, Pablo Rubén. |
8. |
Semántica para la negación en programas lógicos extendidos / Pablo Rubén Fillottrani.
|
2001 |
R 040 B148 2001-545
|
9. |
Sistemas de razonamiento no monótono y su relación con la semántica de las bases de datos deductivas / Pablo Rubén Fillottrani.
|
1995 |
R 040 B148 1995-292
|
|
Flores, Andrés Pablo. |
10. |
Soporte formal para diseño basado en patrones y formalización de patrones estructurales GoF / Andrés Pablo Flores.
|
2004 |
R 040 B148 2005-699
|
|
Marcovecchio, Ignacio. |
11. |
Coordinación y liderazgo de tecnología para gobierno electrónico : un modelo para GCIO / Ignacio Marcovecchio.
|
2015 |
R 040 B148 2015-1393
|
12. |
Modelos de madurez para la mejora de calidad de los datos de los indicadores de desarrollo sostenible / Ignacio Marcovecchio.
|
2019 |
R 040 B148 2019-1684
|
|
Martínez Carod, Nadina Imelda. |
13. |
Ponderación de requisitos de software usando técnicas cognitivas y orientación por objetivos / Nadina Imelda Martínez Carod ; directores: Alejandra Cechich y Pablo Fillottrani.
|
2011 |
R 040 B148 2011-1093
|
|
Michalczewsky, Erika. |
14. |
Arquitecturas de software para agentes autónomos / Erika Michalczewsky.
|
2001 |
R 040 B148 2001-550mi
|
|
Pacifico, Cristian Damián. |
15. |
Reutilización de Software basado en Servicios Web / Cristian Damián Pacifico.
|
2009 |
R 040 B148 2009-990p
|
|
Páez, Francisco Ezequiel. |
16. |
Diseño y verificación de sistemas de tiempo real heterogéneos / Francisco Ezequiel Páez.
|
2020 |
R 040 B148 2021-1760
|
|
Pérez, Martín Mauricio. |
17. |
Metodologías y métricas para desarrollo de sistemas de software / Martín Mauricio Pérez.
|
2007 |
R 040 B148 2008-903p
|
|
Soto, Manuel Francisco. |
18. |
TLM para la verificación de integración en SoC / Manuel Francisco Soto.
|
2015 |
R 040 B148 2015-1402
|
|
Zárate, Marcos Daniel. |
19. |
Alineamiento e integración de información basada en ontologías para biogeografía marina y biodiversidad / Marcos Daniel Zárate.
|
2019 |
R 040 B148 2019-1697z
|